#ifndef _NVIC_H
#define _NVIC_H
#include "stm32f4xx.h"                  // Device header

extern u32 timer_buff[5];


#endif
